to discontinue the manufacture